工程建设用地综合评价及辅助决策系统的研究

综述了＂工程建设用地综合评价和辅助决策系统的研究＂的研制背景、研究内容和研制意义，并概括介绍了评价指标体系的建立、评价方法数学模型和开发用于建设用地管理和辅助决策的四个软件系统，并简介其今后发展前景     

基于J2ME的教师个人信息助理软件

随着高校教师越来越多地同时从事教学、科研和行政等各方面工作,有必要对各类相关信息进行简单方便的管理查询。笔者利用手机携带方便的特点,在基于Java 2 Micro Edition(J2ME)规范的手机上研制了教师个人信息助理软件。该软件功能系结合高校实际情况而设计,解决了手机数据导入和更新的问题。经过在多种手机上使用,证明该软件可以正常使用,并有助于提高教师的工作效率。     

干线协调交叉口多相公交信号优先控制策略

针对干线协调交叉口多个相位有公交车到达的情况,为降低公交车延误,建立了以不破坏协调绿波带为前提的多相位公交优先控制策略.在该策略中,提出了“就近原则”以解决多个相位的公交优先申请冲突,对公交优先级别进行排序,并建立了多相位公交优先控制流程;考虑最高优先级别公交车的不同相位属性,采用绿灯延长和绿灯提前起亮两种优先方式,分...     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

车辆监控系统设计的关键技术分析

介绍了车辆监控系统的软硬件部分，给出了总体架构设计。提出了利用MapX和MapXTreme进行电子地图显示，通过定位匹配将车辆位置、状态等信息有效地与电子地图整合，从而对车辆进行准确地定位和监控．     

一个具扩散的捕食模型非常数正解的存在性

考虑一个Neumann边界条件下具扩散和Holling型功能反应的捕食-被捕食模型的平衡态问题,获得了该模型正平衡态解的一些结果.首先,给出了正解的先验估计,进而,用能量方法得到其非常数正解的不存在性,用拓扑度理论得出其非常数正解的存在性结果.     

郭志远教授抗纤化瘀法临床应用举隅

目的阐述郭志远教授"抗纤化瘀"理论在疑难病症中的应用。方法选择有代表性的疑难顽症并进行分析。结果对这些疑难顽症采用"抗纤化瘀"法治疗,临床效果满意。结论郭志远教授"抗纤化瘀"理论可推广应用。     

液态Ca50Zn50合金快速凝固过程中微观结构的演变特性

采用分子动力学方法对液态Ca50Zn50合金的快速凝固过程进行了模拟研究.并采用双体分布函数、HA键型指数法、原子团类型指数法(CTIM)和可视化等方法对凝固过程中微观结构的演变特性进行了分析.结果表明：由于Ca，Zn原子的半径差异较大，导致总双体分布函数的第1峰明显分裂成为3个次峰，随着温度下降，半径较小的Zn原子互为近邻的几率明显增加.系统中1551键型所构成的二十面体基本原子团(12 0 12 0)的数量占绝对优势，对非晶态结构的形成起主导作用.系统中基本原子团的中心原子主要是原子半径较小的Zn原子.具有短程序的基本原子团之间大多以共顶点(VS)，共棱线(ES)，共面(FS)和相互交叉(IS)的方式相结合，在凝固形成非晶态的过程中，基本原子团大多以相互交叉(IS)的方式相结合，最后形成各种不同尺寸的、原子结合比较紧密、结构比较稳定的较大团簇.     

Hematocrit as an index of changes in plasma volume in conscious dogs.

Hematocrit (HCT) measurements were made in intact and splenectomized conscious dogs to determine if observed decreases in HCT were produced by plasma volume expansion or splenic sequestration of erythrocytes. We found that in conscious dogs HCT is a poor indicator of changes in plasma volume.     

_（ω1ω）语言格值模型论的省略型定理及其应用

利用和谐性质的方法给出_(ω_１ω)片断上的省略型定理。作为应用，对中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ为素模型的充要条件，并给出了原子模型与素模型之间的关系。